The MATE Approach: Enhanced Simulink and Stateflow Model Transformation
نویسندگان
چکیده
In this paper we present the Model Advisor Transformation Extension (MATE). The purpose of MATE is to complement the functionality of the MathWorks MATLAB, Simulink, and Stateflow, Model Advisor, and to extend the tool’s capabilities with regard to model transformation and improvement functions. Examples of MATE features are: automatic or interactive model analysis and repair functions; design pattern instantiation; beautifier operations. We present typical use cases for MATE and discuss the relevance of the MATE approach compared with other available tools and approaches.
منابع مشابه
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen
Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Modellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleranfällig. Das Projekt MATE (MATLAB Simulink/Stateflow Analysis and Transformation Environment) h...
متن کاملModel-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...
متن کاملFormal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow
As embedded control systems are becoming more complex, there is a need for new software development and structuring techniques. The combination Simulink/Stateflow has become a popular tool for model-based design for this type of hybrid systems, due to the simulation and analysis tools available. To enable design and validation of large complex systems in Simulink/Stateflow, an appropriate model...
متن کاملFlattening Virtual Simulink Subsystems with Graph Transformation
Nowadays embedded systems are often modeled using MATLAB R ©, Simulink R © and Stateflow R © to simulate their behavior and facilitate design space exploration. As design progresses, models are increasingly elaborated by gradually adding implementation detail. An important elaboration is the execution order of the elements in a model. This execution order is based on a sorted list of all semant...
متن کاملRuntime Verification for Hybrid Analysis Tools
We present the first steps towards a runtime verification framework for monitoring hybrid and cyber-physical systems (CPS) development tools—such as hybrid systems reachability analysis tools, modelbased development environments like Simulink/Stateflow (SLSF), etc.— based on randomized differential testing. First, hybrid automaton models are randomly generated. Next, these hybrid automaton mode...
متن کامل